<HTML>

<BODY>
This package contains implementations of classes that implement the constraints of individual logics. 
In particular the language restrictions are checked in these classes.
</BODY>


</HTML>
